🔬 Refinement Types - matmat · Scour

Towards Formal Verification of Hybrid Synchronous Programs with Refinement Types ⚖️Verification Calculi

Terrably: Build Terraform Providers in TypeScript 🧱Immutable Infrastructure

paambaati.github.io·5h·Hacker News

What to Expect from the RPM 6.1 Package Manager ❄️Nixpkgs

linuxiac.com·1d

SignalForge – A Local-First, Zero-Cloud Autonomous Agent with UI Verification 🏠Homelab Automation

peerlist.io·21h·Hacker News

Upload government papers to go online? That’s our terrifying future 🔒Privacy Archives

theguardian.com·5h

Lyrie.ai Joins First Batch of Anthropic’s Cyber Verification Program 🛡Cybersecurity

hackernoon.com·21h

Autonomous Systems & Reasoning Research ⚙️TLA+

cli.narelabs.com·4d·Hacker News

Designing the Right PostgreSQL Index Using Query Plans and Statistics 🧬PostgreSQL Forensics

beh74.github.io·1d·DEV, Hacker News

Apple Store education purchase verification process expands to US 🔒Secure Boot

appleinsider.com·1d·Hacker News

Ursula Von der Leyen pushes EU-wide social-media age protections for children ⚖️Legal Compliance

thenextweb.com·7h

From 17 minutes to 2 minutes: how we made bulk credential imports 6x faster 🏺Kerberos Archaeology

certscore.org·4d·Hacker News

Apple Now Requires Verification For Education Store 🔒Secure Boot

apple.slashdot.org·1d

Motivation, Productivity Barriers, and Engineering Friction 📏Code Metrics

pankajpipada.com·5d·Hacker News, r/coding, r/vibecoding

Edition 74 — LLM Inference Throughput Rises 4.5x with Parallel Verification ⚙️Proof Engineering

presciente.com·5d·Hacker News

Pre-Silicon Verification and Validation Methodology Targeting Robust RISC-V Chip Designs (BSC) ⚖️RISC-V Formal

semiengineering.com·6d

Your Engineers Are Already Drifting 👁️System Observability

exhaustedmind.substack.com·3d·Substack

TraceFix: Repairing Agent Coordination Protocols with TLA+ Counterexamples ⚙️TLA+

Verification Test 👁️OCR Verification

news.ycombinator.com·6d·Hacker News

Google's Guide to Authenticating Requests with Web Bot Auth (Experimental) 🌐Network Protocols

developers.google.com·6d·Hacker News

Some kids are bypassing age verification checks with a fake mustache 🔓Hacking

techcrunch.com·6d·Hacker News

Log in to enable infinite scrolling